\begin{tabbing}
reset{-}ecl{-}tuple($A$)
\\[0ex]$\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$spreadn(\=$A$;\+
\\[0ex]${\it Ta}$,${\it ksa}$,${\it ia}$,${\it ga}$,${\it ha}$,${\it aa}$,${\it ea}$.$<$${\it Ta}$
\\[0ex], ${\it ksa}$
\\[0ex], ${\it ia}$
\\[0ex], $\lambda$${\it k'}$,$s$,$v$,$x$. if ${\it ha}$(0,${\it ga}$(${\it k'}$,$s$,$v$,$x$)) then ${\it ia}$ else ${\it ga}$(${\it k'}$,$s$,$v$,$x$) fi 
\\[0ex], $\lambda$$n$,$x$. if ($n$ =$_{0}$ 0) then ff else ${\it ha}$($n$,$x$) fi 
\\[0ex], ${\it aa}$
\\[0ex], ${\it ea}$$>$)
\-
\end{tabbing}